Data-oriented scheduling for PROOF

Privacy-Oriented Data Mining by Proof Checking

Stability Proof of Gain-Scheduling Controller for Skid-to-Turn Missile Using Kharitonov Theorem

Gain scheduling is one of the most popular nonlinear control design approaches which has been widely and successfully applied in fields ranging from aerospace to process control. Despite the wide application of gain scheduling controllers, there is a notable lack of analysis on the stability of these controllers. The most common application of these kinds of controllers is in the field of fligh...

Human-Oriented Proof Techniques are Relevant for Proof Tutoring

Automated theorem proving techniques are increasingly used within interactive environments for the teaching of proof techniques. Examples are the Advanced Geometry Tutor (Matsuda and VanLehn, 2005), the geometry learning environment ANGLE (Koedinger and Anderson, 1993), the EPGY theorem proving environment (McMath et al., 2001), the Baghera platform (Trgalova and Chaachoua, 2009) for the assess...

Split-proof probabilistic scheduling

If shortest jobs are served first, splitting a long job into smaller jobs reported under different aliases, will reduce the actual wait until completion. If longest jobs are served first, the dual maneuver of merging several jobs under a single reported identity is profitable. Both manipulations can be avoided if the scheduling order is random, and users care only about the expected wait until ...

QoS-Oriented Reputation-Aware Query Scheduling in Data Grids

In the last few years, the Grid technology has emerged as an important tool for many scientific and commercial global organizations. In grid-based systems, intelligent job scheduling is used to achieve Service Level Objectives (SLOs) and to provide some kind of Quality of Service (QoS) differentiation between users or applications. In data grids, the grid infra-structure is used to provide tran...